Topological Representation of Canonicity for Varieties of Modal Algebras

Thesis (Ph.D.) - Indiana University, Mathematics, 2010The main subject of this dissertation is to approach the question of countable canonicity of varieties of modal algebras from a topological and categorical point of view. The category of coalgebras of the Vietoris functor on the category of Stone spaces provides a class of frames we call sv-frames. We show that the semantic of this frames is equivalent to that of modal algebras so long as we are limited to certain valuations called sv-valuations. We show that the canonical frame of any normal modal logic which is directly constructed based on the logic is an sv-frame. We then define the notion of canonicity of a logic in terms of varieties and their dual classes. We will then prove that any morphism on the category of coalgebras of the Vietoris functor whose codomain is the canonical frame of the minimal normal modal logic are exactly the ones that are invoked by sv-valuations. We will then proceed to reformulate canonicity of a variety of modal algebras determined by a logic in terms of properties of the class of sv-frames that correspond to that logic. We define ultrafilter extension as an operator on the category of sv-frames, prove a coproduct preservation result followed by some equivalent forms of canonicity. Using Stone duality the notion of co-variety of sv-frames is defined. The notion of validity of a logic on a frame is presented in terms of ranges of theory maps whose domain is the given frame. Partial equivalent results on co-varieties of sv-frames are proved. We classify theory maps which are maps invoked by a valuation on a Kripke frame using the classification of sv-theory maps and properties of ultrafilter extension. A negative categorical result concerning the existence of an adjoint functor for ultrafilter extension is also proved

Aedes aegypti Piwi4 Is a Noncanonical PIWI Protein Involved in Antiviral Responses

The small interfering RNA (siRNA) pathway is a major antiviral response in mosquitoes; however, another RNA interference pathway, the PIWI-interacting RNA (piRNA) pathway, has been suggested to be antiviral in mosquitoes. Piwi4 has been reported to be a key mediator of this response in mosquitoes, but it is not involved in the production of virus-specific piRNAs. Here, we show that Piwi4 associates with members of the antiviral exogenous siRNA pathway (Ago2 and Dcr2), as well as with proteins of the piRNA pathway (Ago3, Piwi5, and Piwi6) in an Aedes aegypti-derived cell line, Aag2. Analysis of small RNAs captured by Piwi4 revealed that it is predominantly associated with virus-specific siRNAs in Semliki Forest virus-infected cells and, to a lesser extent, with viral piRNAs. By using a Dcr2 knockout cell line, we showed directly that Ago2 lost its antiviral activity, as it was no longer bound to siRNAs, but Piwi4 retained its antiviral activity in the absence of the siRNA pathway. These results demonstrate a complex interaction between the siRNA and piRNA pathways in A. aegypti and identify Piwi4 as a noncanonical PIWI protein that interacts with members of the siRNA and piRNA pathways, and its antiviral activities may be independent of either pathway

Advances in dissecting mosquito innate immune responses to arbovirus infection

Arthropod-borne viruses – arboviruses – are a significant threat to public health. Whilst there is considerable knowledge about arbovirus interactions with vertebrate immunity, relatively little is known about how vectors such as mosquitoes control arbovirus infections. In this review, we discuss novel findings in the field of mosquito antiviral responses to arboviruses, in particular RNA interference, the up-and-coming field of general immune-signalling pathways, and cell death/apoptosis

Novel Drosophila Viruses Encode Host-Specific Suppressors of RNAi

Contains fulltext : 136405.pdf (publisher's version ) (Open Access)The ongoing conflict between viruses and their hosts can drive the co-evolution between host immune genes and viral suppressors of immunity. It has been suggested that an evolutionary 'arms race' may occur between rapidly evolving components of the antiviral RNAi pathway of Drosophila and viral genes that antagonize it. We have recently shown that viral protein 1 (VP1) of Drosophila melanogaster Nora virus (DmelNV) suppresses Argonaute-2 (AGO2)-mediated target RNA cleavage (slicer activity) to antagonize antiviral RNAi. Here we show that viral AGO2 antagonists of divergent Nora-like viruses can have host specific activities. We have identified novel Nora-like viruses in wild-caught populations of D. immigrans (DimmNV) and D. subobscura (DsubNV) that are 36% and 26% divergent from DmelNV at the amino acid level. We show that DimmNV and DsubNV VP1 are unable to suppress RNAi in D. melanogaster S2 cells, whereas DmelNV VP1 potently suppresses RNAi in this host species. Moreover, we show that the RNAi suppressor activity of DimmNV VP1 is restricted to its natural host species, D. immigrans. Specifically, we find that DimmNV VP1 interacts with D. immigrans AGO2, but not with D. melanogaster AGO2, and that it suppresses slicer activity in embryo lysates from D. immigrans, but not in lysates from D. melanogaster. This species-specific interaction is reflected in the ability of DimmNV VP1 to enhance RNA production by a recombinant Sindbis virus in a host-specific manner. Our results emphasize the importance of analyzing viral RNAi suppressor activity in the relevant host species. We suggest that rapid co-evolution between RNA viruses and their hosts may result in host species-specific activities of RNAi suppressor proteins, and therefore that viral RNAi suppressors could be host-specificity factors

RNAi-mediated immunity provides strong protection against the negative-strand RNA vesicular stomatitis virus in Drosophila

Activation of innate antiviral responses in multicellular organisms relies on the recognition of structural differences between viral and cellular RNAs. Double-stranded (ds)RNA, produced during viral replication, is a well-known activator of antiviral defenses and triggers interferon production in vertebrates and RNAi in invertebrates and plants. Previous work in mammalian cells indicates that negative-strand RNA viruses do not appear to generate dsRNA, and that activation of innate immunity is triggered by the recognition of the uncapped 5′ ends of viral RNA. This finding raises the question whether antiviral RNAi, which is triggered by the presence of dsRNA in insects, represents an effective host-defense mechanism against negative-strand RNA viruses. Here, we show that the negative-strand RNA virus vesicular stomatitis virus (VSV) does not produce easily detectable amounts of dsRNA in Drosophila cells. Nevertheless, RNAi represents a potent response to VSV infection, as illustrated by the high susceptibility of RNAi-defective mutant flies to this virus. VSV-derived small RNAs produced in infected cells or flies uniformly cover the viral genome, and equally map the genome and antigenome RNAs, indicating that they derive from dsRNA. Our findings reveal that RNAi is not restricted to the defense against positive-strand or dsRNA viruses but can also be highly efficient against a negative-strand RNA virus. This result is of particular interest in view of the frequent transmission of medically relevant negative-strand RNA viruses to humans by insect vectors